A Tool for Structural Testing of MPI Programs
نویسندگان
چکیده
Among the message passing environments, MPI (Message Passing Interface) has been considered by several authors as the de facto standard to build parallel software. In spite of this great popularization, there is a lack of tools that support the test of MPI programs. The existent tools do not support the application of a test criterion; they only aim at the visualization and debugging. The use of a testing criterion is fundamental to ensure the quality of the generated test sets and to offer coverage measure to evaluate the testing activity. This work describes a tool, named ValiMPI, that implements testing criteria specific to message passing environments, and considers the control, data and communication flows of parallel programs. The tool supports generation and evaluation of test sets, as well as the test replay.
منابع مشابه
ValiPVM - A Graphical Tool for Structural Testing of PVM Programs
This work presents ValiPVM, a testing tool for C/PVM parallel programs. This tool implements structural coverage criteria, using an architecture already employed for MPI programs. It supports generation and evaluation of test sets and considers the control, data and communication flows of PVM programs. ValiPVM has a graphical user interface, designed to facilitate the test execution, analysis o...
متن کاملStructural testing criteria for message-passing parallel programs
Parallel programs present some features such as concurrency, communication and synchronization that make the test a challenging activity. Because of these characteristics, the direct application of traditional testing is not always possible and adequate testing criteria and tools are necessary. In this paper we investigate the challenges of validating message-passing parallel programs and prese...
متن کاملSound and Efficient Dynamic Verification of MPI Programs with Probe Non-determinism
We consider the problem of verifying MPI programs that use MPI_Probe and MPI_Iprobe. Conventional testing tools, known to be inadequate in general, are even more so for testing MPI programs containing MPI probes. A few reasons are: (i) use of the MPI_ANY_SOURCE argument can make MPI probes non-deterministic, allowing them to match multiple senders, (ii) an MPI_Recv that follows an MPI probe nee...
متن کاملAn Empirical Evaluation of the Cost and Effectiveness of Structural Testing Criteria for Concurrent Programs
Concurrent program testing is not a trivial task. Features like nondeterminism, communication and synchronization impose new challenges that must be considered during the testing activity. Some initiatives have proposed testing approaches for concurrent programs, in which different paradigms and programming languages are considered. However, in general, these contributions do not present a well...
متن کاملVerifying Parallel Programs with MPI-Spin
Standard testing and debugging techniques are notoriously ineffective when applied to parallel programs, due to the numerous sources of nondeterminism arising from parallelism. MPI-Spin, an extension of the model checker Spin for verifying and debugging MPI-based parallel programs, overcomes many of the limitations associated with the standard techniques. By exploring all possible executions of...
متن کامل